Function (mathematics)

In mathematics, a function from a set $X$ to a set $Y$ assigns to each element of $X$ exactly one element of $Y$ .^[1] The set $X$ is called the domain of the function^[2] and the set $Y$ is called the codomain of the function.^[3]

Functions were originally the idealization of how a varying quantity depends on another quantity. For example, the position of a planet is a function of time. Historically, the concept was elaborated with the infinitesimal calculus at the end of the 17th century, and, until the 19th century, the functions that were considered were differentiable (that is, they had a high degree of regularity). The concept of a function was formalized at the end of the 19th century in terms of set theory, and this greatly enlarged the domains of application of the concept.

A function is often denoted by a letter such as $f$ , $g$ or $h$ . The value of a function $f$ at an element $x$ of its domain (that is the element of the codomain that is associated to $x$ ) is denoted by $f (x)$ ; for example, the value of $f$ at $x = 4$ is denoted by $f (4)$ . Commonly, a specific function is defined by means of an expression depending on $x$ , such as $f(x)=x^{2}+1;$ in this case, some computation, called function evaluation, may be needed for deducing the value of the function at a particular value; for example, if $f(x)=x^{2}+1,$ then $f(4)=4^{2}+1=17.$

Given its domain and its codomain, a function is uniquely represented by the set of all pairs $(x, f (x))$ , called the graph of the function, a popular means of illustrating the function.^{[note 1]}^[4] When the domain and the codomain are sets of real numbers, each such pair may be thought of as the Cartesian coordinates of a point in the plane.

Functions are widely used in science, engineering, and in most fields of mathematics. It has been said that functions are "the central objects of investigation" in most fields of mathematics.^[5]

^ Halmos 1970, p. 30; the words map, mapping, transformation, correspondence, and operator^{[citation needed]} are often used synonymously.
^ Halmos 1970
^ "Mapping". Encyclopedia of Mathematics. EMS Press. 2001 [1994].
^ "function | Definition, Types, Examples, & Facts". Encyclopedia Britannica. Retrieved 2020-08-17.
^ Spivak 2008, p. 39.

Cite error: There are <ref group=note> tags on this page, but the references will not show without a {{reflist|group=note}} template (see the help page).

[halmos-1] Halmos 1970, p. 30; the words map, mapping, transformation, correspondence, and operator^{[citation needed]} are often used synonymously.

[2] Halmos 1970

[codomain-3] "Mapping". Encyclopedia of Mathematics. EMS Press. 2001 [1994].

[5] "function | Definition, Types, Examples, & Facts". Encyclopedia Britannica. Retrieved 2020-08-17.

[FOOTNOTESpivak200839-6] Spivak 2008, p. 39.

[1]

[2]

[3]

[note 1]

[4]

[5]

Function
$x \mapsto f (x)$
History of the function concept
Examples of domains and codomains
$X$ → $\mathbb {B}$ , $\mathbb {B}$ → $X$ , $\mathbb {B} ^{n}$ → $X$ $X$ → $\mathbb {Z}$ , $\mathbb {Z}$ → $X$ $X$ → $\mathbb {R}$ , $\mathbb {R}$ → $X$ , $\mathbb {R} ^{n}$ → $X$ $X$ → $\mathbb {C}$ , $\mathbb {C}$ → $X$ , $\mathbb {C} ^{n}$ → $X$
Classes/properties
Constant Identity Linear Polynomial Rational Algebraic Analytic Smooth Continuous Measurable Injective Surjective Bijective
Constructions
Restriction Composition λ Inverse
Generalizations
Binary relation Partial Multivalued Implicit Space
v t e